منابع مشابه
Beth Definability in Institutions
BETH DEFINABILITY IN INSTITUTIONS MARIUS PETRIA∗ AND RĂZVAN DIACONESCU Abstract. This paper studies definability within the theory of institutions, a version of abstract model This paper studies definability within the theory of institutions, a version of abstract model theory that emerged in computing science studies of software specification and semantics. We generalise the concept of definab...
متن کاملGeoffrey Jefferson 1886-1961.
Email alerting service here corner of the article or click article-sign up in the box at the top right-hand Receive free email alerts when new articles cite this
متن کاملHepatotoxicity induced by horse ATG and reversed by rabbit ATG: a case report
BACKGROUND The use of antilymphocyte agents has improved patient and graft survival in hematopoietic stem cell and solid organ transplantation but has been associated with the development of short-term toxicities as well as long-term complications. CASE PRESENTATION We report a young female with Fanconi anemia who received antithymocyte globulin as part of the conditioning regimen prior to he...
متن کاملBeth definability in the Guarded Fragment
The guarded fragment (GF) was introduced in [1] as a fragment of first order logic which combines a great expressive power with nice modal behavior. It consists of relational first order formulas whose quantifiers are relativized by atoms in a certain way. While GF has been established as a particularly well-behaved fragment of first order logic in many respects, interpolation fails in restrict...
متن کاملJefferson: post-DNA.
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your perso...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Against the Grain
سال: 2009
ISSN: 2380-176X
DOI: 10.7771/2380-176x.2450